functionalenc/papers/DTPKE-Const.pdf