Contribution to logic work about logic?