What kind of logic is this