Harry Potter and the Logical Solution