Initial proposal for assertions