A theory of socially inefficient patent holdout. Issue 2 (23rd December 2022)