Reader. Formal analysis in architecture.