 In 2004, Graham Cormode proved that deciding whether it is possible to complete a level of Lemmings is NP-hard.Later, Giovanni Viglietta showed that the task is PSPACE-complete, even for levels where there is only one lemming to save.In 2010, it was announced that "Lemmings" would be ported to the iOS operating system by developer Mobile 1UP.