dep set mutex v1 (not serializable); ui improvements; a few added helper methods