"Hans's file! The proof!"