TODO: writes rules