Formal Analysis Of The Column Of Trajan