File:Troy's analysis end.