Logical Monks