. "where b is an instance of B, and c is an instance of C." . . . .