Masum, H.; Tovey, M. Goals for Algorithmic Genies. FM 2018, 23.