pemaju: CR logics