No need to repeat dimension notation if it's clear from the lines above.