where C a b c d is the Weyl tensor, and abstract index notation is used. Moreover, in the Petrov classification, C a b c d ( 1 ) is type N, C a b c d ( 2 ) is type III, C a b c d ( 3 ) is type II (or II-II) and C a b c d ( 4 ) is type I.