Properties by Markus Ein (16)