Add some logical procedures