Fallback clause in showTerm