moar logics