More work
Start with proof