Inductive

Build correctly.