UPDATE: also reduced nEot4Var example