Are Michael Anderson and Spike Lee film directors?