L for Logic