convert accesslayer to lazy honest checking