Theo 4: Added missing equations at the end of VL 5.