Havening Techniques in Hopwas