notes: added reference to COQ