image format subgroup of format, 4 assertions