hacking on sketch, define _to_deep functions, prove is_in stuff