Semi-Formals