Ainis * 1 * 01^)