4-cola implementation