This lecture covers the details on nested requirements and gets rid of compilation error in add_one function using nested requirements
コメント