What kind of logic is this?