Full logic