added short specification