"J\u00E1n Val\u00FAch"@cs .