3.2 Logical Requirements Summary

mandatory section
Yes