IAnathemaModel -> IApplicationModel