Formula for Plowshare3