Edit 'lab5.pl' more