delusional_prop_interface.pdf