Exacte logica by Freudenthal