Before revision:  As a sample application, we test our motor on a conjecture on essentially 4-connected graphs.
After revision:  As a sample application, we test our motor on the following conjecture about essentially 4-connected graphs.