Why is water + lava not obsidian