Logic there are