FIRST IN LOGICS