formal structure