So maybe not build a non deterministic black box that can't be reasoned about ?