guest operating system subgroup of operating system, 4 assertions