Honey, I shrunk the hypothesis space (through logical preprocessing)

Re-assign community