import logic tactic num string

