“…In higher dimensions, the first, third and fourth inclusions were shown to be proper by Bowden, Crowley, and Stipsicz [4], Bowden, Gironella, and Moreno [5], Massot, Niederkrüger, and Wendl [15] respectively. See also [20] for exactly fillable, almost Weinstein fillable, but not Weinstein fillable examples. The situation in dimension three differs from higher dimensions in the sense that we have gauge theoretic tools as well as better holomorphic curve theories, but also face more topological constraints.…”