Note that many ADT problems seem to diverge now. Also, preconditions are
missing? Or maybe just not displayed.