(= a(read))(pr:* --.a --.a 1/2)