Separate comparison into its own theory