Reverse inclusion