Added 'derives' command for self study 4.