Rascal Does Not Dream of Logical Witch