Implement ES as a formal system



A formal ES system is one that is: