The tacit dimension