Problematic in that it's still not formal verification, not problematic as in "it's worse to do this than not".