Finalized the non-functional requirements
Removed the "if main scenario then" in post-conditions