The Hardest Logic Problem Ever