agda and evil