Hypernaturals FCBD p.5 by Mark Irwin