could not get saving the universe right
small examples are correct, but can not pass the verification