Implement assertions in submission spec