Tag solving for dan