Free cubic implication algebras · wovepaper