I don't know whether Tiradentes was a martyr or not. What I know is that freedom is the ultimate predicate of the meaning of existence!