Further remata rewritten using new tactics