Preinduction
Create Map
Map for preinduction
X