Our task was doing maintenance and repairs to keep the station in a good state for the return of the shuttle flights and resumption of major ISS construction. ↗
The only thing that might have annoyed some mathematicians was the presumption of assuming that maybe the axiom of choice could fail, and that we should look into contrary assumptions. ↗