Partial implementations of ivt functions