forallxyyc.pdf