spot aspect of leopard, 4 assertions