Common Logic -Logic