Solved inclusion problem