Abstract requirements