HOL aerobics