formulae and log tables,