Sharp comparison and maximum principles via horizontal normal mapping in the Heisenberg group