PPA_(complexity) loading ...