[snvzz]

Clean room is a thing.

First use some model to make a specification. Then another to implement it from the specification.