O Tribunal tem, de resto, desenvolvido a esse propósito uma pertinente argumentação no sentido de concretizar o conteúdo das exigências de sinalagmaticidade, correspectividade, equivalência e proporcionalidade entre o tributo e a prestação que aquele visa retribuir, à qual genericamente agora se adere.