fixed skylight subgroup of skylight, 1 assertions