Context/inside: Naive version implemented.