second space subgroup of space, 4 assertions