“The implementation of the budget would see to the completion of various ongoing capital projects, including the final phase of the 37-kilometre Lagos Red Rail Line from Agbado to Ebute Metta."