A Details on Formal Claims