introducing JahArgs and JahSpec