add weird doc of specification