Non-stable models of linear logic by Hoofman