Question handled in by student on 2015-11-02. Lecture - 1) Can we find "nice" formulae for \sin(\theta + \phi), \cos(\theta + \phi) etc for spherical angles? Are they the same? Is there an sine/cosine law in spherical triangles?