% Not a good clause

X :- Y.