pushed down representation details