restored propns.clj to the 15-15-16-18 version.