add formal test, failing so far