Actually, I notice that BBn vs. BBm is isomorphic to CBn vs. CBm! Just interchange ‘swerve’ and ‘don’t swerve’ in the specification of one to convert it into the other. This implies that BBn swerves against BBm, and BBm does not swerve, if my proof about CBn vs. CBm is valid. I’m no longer so sure it is...
Actually, I notice that BBn vs. BBm is isomorphic to CBn vs. CBm! Just interchange ‘swerve’ and ‘don’t swerve’ in the specification of one to convert it into the other. This implies that BBn swerves against BBm, and BBm does not swerve, if my proof about CBn vs. CBm is valid. I’m no longer so sure it is...