13 propositional calculus - bird hopper feeders