...and some more properties I missed