With quadruples of conditions and cycles