laser pulse subgroup of pulse, 8 assertions