Some steps towards solving #5.