Main Logics