Changed "Propn."s to "->Propn"s (dot version has strange semantics)