Hacking Nondeterminism with Induction and Coinduction (video)