Model logic implemented with some specs