Distributive normal forms in the calculus of predicates | lit.salon