chop-logics