Procryptic definitions