Problem extensions