庄，也就是天蓬元帅的名字。

他现在自然不叫猪刚鬣或悟能。

卞庄出现的时代只比太上道祖稍晚，在后世的《道法会元》中记载过，天蓬元帅本名卞庄，为人忠孝、勇猛无比！但其实《道法会元》也只是凡人对他的记载罢了。

并且在神佛纪元中，安阳曾与天蓬元帅和卷帘大将等人谈过过往，得悉他确实名叫卞庄，两相印证之下，他才敢如此肯定！

不过有一点是真的，天蓬元帅在还是凡人时就曾屠过