TODO: check claim4 further