digital clock subgroup of clock, 3 assertions