Pseudofunctional version