[Verified Functionally Complete]