(name 'ConfigurationOfMagritte3')