Made a start implementing `Aj`