[formalsystem]

Thank you, that means a lot - you are right there are still some small errors that I need to go through and I'd be very grateful if you let me know of any more you find