properness
not defined yet