Configurations: Do you prove yours ?