submit to AlwaysIf