general case solving step wip