(**************************************************************************)
include "ground_2/notation/functions/upspoon_1.ma".
(**************************************************************************)
include "ground_2/notation/functions/upspoon_1.ma".