Added lab4 specs
fixed format
fixed lab4 specs
merge
merge
lab4 customizations
lab4 customizations