$CORL 1$ com certeza