Stein's conjecture states that if an n x n matrix has entries 1...n, where each symbol appears exactly n times, then there exists a generalized diagonal where all but two symbols appear exactly once. I will talk about this conjecture and other settings in which we look for a small structure proportionally representing the bigger structure from which it is taken.