tactic.linarith source