Orri Erling AND Inverse-functional properties
Common descendants