Definitely some major similarities, but HoL has a lot more depth (no pun intended).