Added section on BCJL