added definition of pseudokernel and remark