simplified logics