Appendix : Alternative proofsfor the type II free