initialized t(e|f)