Kelso logic