Some logic description is added.