def progress_state(state, action):
    """
    Given a complete state and an action in STRIPS, progress
      the state and return the new state after applying the
      provided action.
    
        state:  Set of fluent objects.
        action: Action object.
    """
    return (state - action.dels) | action.adds