initial commit of Exhaustive