"Building Systems with Traits" fully verified