Coincidence Logic