a | 0 .)