Main is an abstract state