Pure Software in an Impure World