More tests and properties yet