Theory+-+Error+Checking+Tools