MOD: pplns -> prop