Formula (Explicit)

MR 504