( * 2 J1)