Simplify example by using Selmer only.