is known is for compactness of notation and does not