Minor: improved notation for log
Improved: generality of pull source (over|under)