Induction/Variable/Relevance/Remark