this is an empirical engineering paper with theoretical dressing, it would not need to be a theorem paper of course.