References

summary
public	F truth(_: *)
public	F untruth(_: *)
public	F conjunction(p: , q: )
public	F conjunctions(predicates: *): boolean
public	F disjunction(p: , q: )
public	F disjunctions(predicates: *): boolean
public	F equivalence(p: , q: )
public	F implication(p: , q: )
public	F negation(p: *)
public	F divides(y: *)
public	F divisible(y: *)
public	F eq(y: *)
public	F ge(y: *)
public	F gt(y: *)
public	F le(y: *)
public	F lt(y: *)
public	F ne(y: *)