well formed alpha