Top Level for all inductions