Common Logic ~ Logic