Some progress towards labelled statements