TROPOMI and TROPI