This is hopefully correct.