Elaboration seems to be working now