AbstractInterval: SF