AUTOMATED LOGIC