Copy-paste leads to lying comments.  This should be (o0, o1, o2).