“Transactions competitively pay for the space they take up in a block.”

Transactions do not pay for “block space”, Transaction Bidders pay to miner-entities for compensation of the marginal lost competitiveness at block propagation due to that marginal transaction.