Short hard logic riddles