[Lab06]: Accepted.