FutoIn Specifications