Linear independence notes