fix str representation for logics. THX to JNK!