jessicata comments on Modeling naturalized decision problems in linear logic