added an assumption that may not be safe; added detail to programming domain (python as illustrative example)