Show place of reduction in derivations