Licence + comments
Finished both invariants