ps2-6 matrix assertions