comp(proj(*j), wert) == true