Induce Minimal

Superseding Whoever