fluid lava subgroup of lava, 1 assertions