logic/models/models library