IKVReduce. Closes #80