proper terminal rendering for true and false relations