Added a first opsem rule