Properties listed by Gideon Stapelberg