Did you know that red bell peppers are simply fully ripened green bell peppers?

Did you know that red bell peppers (red capsicums) are simply fully ripened green bell peppers (green capsicums)? Yellow bell peppers (yellow capsicums) are a different variety though. Weird!