?- love(math) is unrequited. true.