paper/NomPa-without-equality.notes