notnot.adb

function Notnot return Boolean is
begin
	return not True;
end Notnot;