Results for transformulas