[PD] still not understanding "local" sssad in abstractions using variables