Higher Order Logic is a software consultancy based in Central London