new mural subgroup of mural, 3 assertions