Solution #1:
  x = Q_0 :: Q
  y = Q_0 :: Q
This is the only solution.