include "static_2/notation/relations/relation_3.ma".
include "static_2/syntax/cext2.ma".
include "static_2/relocation/sex.ma".
include "static_2/notation/relations/relation_3.ma".
include "static_2/syntax/cext2.ma".
include "static_2/relocation/sex.ma".