learn from first principles, then prove it in the dungeons