A Jensen Computer