This tests implementation rather than specification.