A ug 2 01 8 A theory of finite structures