Added a first conversion of lab 4; updated lab 3 a bit