mechanical clock subgroup of clock, 4 assertions