New: inductions