From Crux 0.9.2