c3 4x+ doesn't exist in definition