noncompositeness

not defined yet