Revert "generalized inside"

This reverts commit 1cde5e529962fdfeafbbf981a8728b8e3967b474.