cylinder aspect of compressor, 11 assertions