Logic library by Peter Hiscocks