The first is that computers, with their tolerance for tedium, are particularly suited to writing the steps of a formal proof down.

ECONOMIST: Just what does it mean to prove something?

Writing on her PSNI blog she outlined steps motorists should take to minimise their likelihood of becoming a victim of such a crime.

BBC: 'Criminal gangs' involved in Belfast hijackings

So I think it really is important in any analysis or writing that's done on this that those steps not be underestimated.

WHITEHOUSE: The White House