[mhh__]

With TLA+ in particular I reckon I could probably teach my parents how to do use it the only maths you really need for simple specifications is being able to think mathematically