Analyzing Errors with the Boolean Difference | Synapse