The next approximate inference schemes relaxes the conditions in theorems 1 and 3 by allowing the inequalities to be violated by .
the inequality (3) from Theorem 1 now becomes The inequality (5) from Theorem 3 is similarly relaxed as follows: 3.5 Amortized inference algorithm Each exact and approximate inference approach described above specifies a condition to check whether an inference procedure should be called for a new problem.