Simplify Inductive notation