[propcalc →^{pyk} “propcalc”] 1