more specified properties, addressing one of Joachim Klein's suggestions