Solid reductive approach by Kaique Amorim