Formalized models' structures for Users and Posts.