Formalize

[Nykenik24]

This specification was mostly written by me, problem being that I am not a native English speaker, which means that it might have some grammatical errors or it might be too informal for a specification.