Ω_Valp does not exist