do not display the variable symbol for conclusion's schemes