An implementation of Ø.