added file that corresponts to undefunctionalised version that we show in paper