change of notation in threshold post