Formal ReSpecT in the A&A Perspective