FORMAL LOGIC DECAY