Move establishing of facts first

If the facts are wrong then this case will go wrong so it should be
proven first by the user.