logic, y sus, z sus