More logic recipes