python defs