weaker tagged requirement