Nehacl presentations