"Froggatt"@cs .