1 “.... Another by Frank G. Forrest shows how the formal value calculus based on set theory might answer...”