short piece subgroup of piece, 3 assertions