6.838: Shape Analysis