Change prove order
Add new methods