Todo: sanity checks