Describe a part in plain language
Describe a part in plain language. Lattice builds it, and then proves it. Not another AI’s guess.