A Concrete Example1:
Associated checks do not now have to be procedurally encoded in routines such as: