infer case tag