Brown question about minor proof order