TripleFUN replies on comments by mpakmop