#Agda , quando cola é o terror ! kkkkkkkk s2s2