An interesting question I bump into is "what is the right level of abstraction for X" where, "X" takes on values from {theorems, papers, ideas, observations,...