The above 4 defs are defined multiple times.