Changed equality
Initial foundation for rules