let pred x = sub x one