MALFUNCTION by HOL!, Eptic