service txt done
code
min
added check invariants
Merge pull request #3 from MarwanG/bloc

Checks out fine