x=acost∧3