Desarrollador: CR logics