Plantinga doesn't think the ontological proof is conclusive. But his comments bring to the fore the real issue, IMO. Namely, to even argue rationally is to assume we are capable of apprehending beings in terms of actual relations. But this assumption itself is only non-arbitrary if we are designed to apprehend for satisfaction.