Quickcheck Inspections.