Partial Incorrectness Logic. - Lena Verscht; Anrán Wáng; Benjamin Lucien Kaminski (CoRR, 2025)