existence and computation 8774129