Quadraverb and EFTP