Guinot Clean Logic