Algorithms for drawing planar graphs by Immanual Kant