( fcto .t y ^auai