tactic.interactive.noncomm_ring source