Justification complexity (max),ELK (493),LETHE (719),1800