diff --git a/code/asp/cozman_01.lp b/code/asp/cozman_01.lp
new file mode 100644
index 0000000..f73e311
--- /dev/null
+++ b/code/asp/cozman_01.lp
@@ -0,0 +1,3 @@
+a ; -a.
+s :- not w, -a.
+w :- not s.
\ No newline at end of file
diff --git a/pex2024/2024-02-24-2023.15110.PEX - Francisco Coelho.pdf b/pex2024/2024-02-24-2023.15110.PEX - Francisco Coelho.pdf
deleted file mode 100644
index e2fd737..0000000
Binary files a/pex2024/2024-02-24-2023.15110.PEX - Francisco Coelho.pdf and /dev/null differ
diff --git a/pex2024/2024-02-25-2023.15110.PEX - Francisco Coelho.pdf b/pex2024/2024-02-25-2023.15110.PEX - Francisco Coelho.pdf
deleted file mode 100644
index 6e14e03..0000000
Binary files a/pex2024/2024-02-25-2023.15110.PEX - Francisco Coelho.pdf and /dev/null differ
diff --git a/pex2024/2024-02-27--2023.15110.PEX - Francisco Coelho.pdf b/pex2024/2024-02-27--2023.15110.PEX - Francisco Coelho.pdf
deleted file mode 100644
index 5c6bbd4..0000000
Binary files a/pex2024/2024-02-27--2023.15110.PEX - Francisco Coelho.pdf and /dev/null differ
diff --git a/pex2024/2024-02-28--2023.15110.PEX - Francisco Coelho.pdf b/pex2024/2024-02-28--2023.15110.PEX - Francisco Coelho.pdf
deleted file mode 100644
index 433db41..0000000
Binary files a/pex2024/2024-02-28--2023.15110.PEX - Francisco Coelho.pdf and /dev/null differ
diff --git a/pex2024/2024-02-28_pm-2023.15110.PEX.pdf b/pex2024/2024-02-28_pm-2023.15110.PEX.pdf
deleted file mode 100644
index 37f3919..0000000
Binary files a/pex2024/2024-02-28_pm-2023.15110.PEX.pdf and /dev/null differ
diff --git a/pex2024/2024-02-29_1--2023.15110.PEX.pdf b/pex2024/2024-02-29_1--2023.15110.PEX.pdf
deleted file mode 100644
index d9e2904..0000000
Binary files a/pex2024/2024-02-29_1--2023.15110.PEX.pdf and /dev/null differ
diff --git a/pex2024/2024-02-29_1_1up-2023.15110.PEX.pdf b/pex2024/2024-02-29_1_1up-2023.15110.PEX.pdf
deleted file mode 100644
index 43097ac..0000000
Binary files a/pex2024/2024-02-29_1_1up-2023.15110.PEX.pdf and /dev/null differ
diff --git a/pex2024/2024-02-29_2--2023.15110.PEX.pdf b/pex2024/2024-02-29_2--2023.15110.PEX.pdf
deleted file mode 100644
index 235555a..0000000
Binary files a/pex2024/2024-02-29_2--2023.15110.PEX.pdf and /dev/null differ
diff --git a/pex2024/2024-02-29_2--2023.15110.PEX.pdfInduction of Stochastic Answer Set Programs by Algebraic Means b/pex2024/2024-02-29_2--2023.15110.PEX.pdfInduction of Stochastic Answer Set Programs by Algebraic Means
deleted file mode 100644
index f4e6a9d..0000000
Binary files a/pex2024/2024-02-29_2--2023.15110.PEX.pdfInduction of Stochastic Answer Set Programs by Algebraic Means and /dev/null differ
diff --git a/text/kr24 b/text/kr24
index 8e89a55..f00aad8 160000
--- a/text/kr24
+++ b/text/kr24
@@ -1 +1 @@
-Subproject commit 8e89a55d415ff3d35e20a0b1c9cdd569cc067d0a
+Subproject commit f00aad856e453c4f9059046a34a23bf5874f2256
--
libgit2 0.21.2