K Lee: add some fact
K Lee