Fooling around with Logic: Epiphany