The Lab for Logic thanks