move Levinson to HasKAL