add obvious rules