Revelador: Logic Simplified