[Lab05]: Accepted.