Redirecting to Petrov classification