Remove Harp as an assumption

Fix #15