[1907.09106v1] A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator