Properties by W Gerard Tatlock