Havening Techniques in Inverarity