Tag: inductive test loop