Navigation sur: body of proof