Priority and maximal progress are completely axiomatisable (extended abstract)