formal experimentation