reformulated some facts