(r -> p & q) & p