a cat by escher, recursive