I move text for a living
Ombra verifies using FsCheck that a closure based interpreter and a substitution based interpreter yield the same results