Update to submission

And some spreadsheets for property derivations