Python specification