L For Logic 1970