de ( ' Allen,