[Lab02]: Implementation.