Logics Library ....