Gratuitous induction

Abstract
No abstract available