prob-solving: edited