Proper Pushforward