A formalization and reformalization of anomie theory