Superposition as a logical glue