digital planarity