0 o\'flaherty | Definition of o\'flaherty