Formalities

https://pastebin.com/YfXgB5rS