23.1.13 Relational instructions