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