double comment probably violates some fundamental Python rule