Behold, the first Anon prototype for HILTLH(H)