These conclusions are then compared with one another and with other relevant statements, so as to find what logical relations (such as equivalence, derivability, compatiblity, or incompatibility) exist between them.