\ atVKI * 0 \.