Havening Techniques in Arclid