Abstracted Requires