Доформулировать = решить уравнение про ангелов. Не уверена, что можно. "Недостаточно данных" (с).Одно только: то, что он на стороне ангелов - вряд ли сознательный выбор. Ему, скорее всего, вообще чужда эта дихотомия (оч. резкая реакция на попытки Мориарти его определить), он хочет быть сам по себе и свободно выбирать, за кого воевать. Но вот этого-то выбора у него как раз и нет.