Are very difficult to prove in practice