Tag: strategies for better synthesis