Major overhaul of examples -- adapted from `InvariantsTest`.