I think it's quite often possible! Most of code acts as implication. Given this piece of data (of this shape), I can compute that. Or given I'm a valid object (

I think it's quite often possible! Most of code acts as implication. Given this piece of data (of this shape), I can compute that. Or given I'm a valid object (constructor completed successfully), I can do this and that. However, very often, unstated assumptions sneak in. For example, assuming to understand how to interpret a certain string, which usually causes all kind of escaping issues.