Permissive Inductions