http://www.wegreened.com/ I recently applied for an EB2-NIW. I recommend this attorney. They're perfectionists in the documentation preparation. Free CV evaluation and in some cases "approval or refund" policy.
As we represent on a 2d paper a projection of a 3d cube, we can print a 3d object that represents a projection of a 4d one. I'm down for the kickstarter.
I had the same feeling. For instance, the sitar sound is not comparable to a sampled one. I think this idea makes sense for real synth sounds and not for imitations of already existing instruments.
The fact list_length([], 0) says "the length of an empty list [] is 0". The clause says "the length of the list [_|Ls] (i.e, any element concat Ls) has length N if N>0, N=N0+1, and the length of Ls is N0". Hope this helps.