β-redex answers Rationalist horror movies