let 's recap things , as they stand at the moment : mimi 's computer models are absolute and conclusive : lori 's final algorithm must be programmed as a musical melody or the application just wo n't work .