moved and edited the proof of ua to fe