Axiomic view 2