[FOLD] Add symbolic constant and a bit of explanation