Removed convenience postconditions