[Truffle] Last of the while specs.