heterodox ep compilation alpha

agent wu-proofs