All details from Billingsley proven for Helly; need to determine how to combine them.